cot inverse {root (1 sin x) root (1-sin x) upon root (1 sin x) - root(1-sin x)} is pi